More from this Author

Foundations of Probabilistic Programming

by Gilles Barthe (Editor), Joost-Pieter Katoen (Editor), Alexandra Silva (Editor)

Language, Logic, and Computation

by Alexandra Silva (Editor), Sam Staton (Editor), Peter Sutton (Editor), Carla Umbach (Editor)

Logic and Program Semantics

by Robert L. Constable (Editor), Alexandra Silva (Editor)